Nuprl Definition : spread4
9,38
postcript
pdf
let
w
,
x
,
y
,
z
=
a
in
t
(
w
;
x
;
y
;
z
)
== let
w
,
zz1
=
a
in let
x
,
zz2
=
zz1
in let
y
,
z
=
zz2
in
t
(
w
;
x
;
y
;
z
)
latex
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
origin